Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
181	Constraint Design Rewriting Roberto Brunia , Alberto Lluch Lafuenteb , Ugo Montanaria a Dipartimento di Informatica, Universit`a di Pisa, Italy { bruni,ugo}@ di. unipi. it Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Local consistency Flow network Graph Constraint satisfaction Constraint logic programming Directed graph Decomposition method Tree decomposition Graph theory Constraint programming Theoretical computer science
182	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-21 01:31:44 Computing Local consistency Constraint satisfaction Self-stabilization Distributed computing Constraint graph Scheduling Backtracking Search algorithm Constraint programming Software engineering Computer programming
183	Nonuniformly Communicating Noncontiguous Data: A Case Study with PETSc and MPI ∗ † P. Balaji D. Buntinas S. Balay B. Smith R. Thakur W. Gropp Mathematics and Computer Science Division Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-02-02 14:39:16 Application programming interfaces Local area networks Message Passing Interface Numerical linear algebra Portable Extensible Toolkit for Scientific Computation Fault-tolerant computer systems MPICH Computer cluster Remote direct memory access Computing Parallel computing Computer programming
184	Ten Do’s and Don’ts for Working with your Local Code Officials Steve Dalbey Distillery Code Consulting August 24, 2011 Code enforcement is not an exact science nor are code officials infallible. Code officials are be Add to Reading List Source URL: distilling.com Language: English - Date: 2015-04-18 09:35:44 Procedural programming languages C Cross-platform software Requirement Exception handling Software engineering Computing Software development
185	Software Thread Level Speculation for the Java Language and Virtual Machine Environment Christopher J.F. Pickett Clark Verbrugge Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-10-06 11:20:26 Threads Programming language implementation Parallel computing Concurrency control Thread-local storage Java bytecode Speculative multithreading Java virtual machine Java Computing Computer architecture Cross-platform software
186	Perl versiondocumentation - perlcall NAME perlcall - Perl calling conventions from C DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:22:32 Subroutines XS Return statement Perl Callback Local variable Parameter Calling convention C Software engineering Computing Computer programming
187	Monotone Submodular Maximization over a Matroid via Non-Oblivious Local Search Yuval Filmus∗ and Justin Ward† December 30, 2013 Abstract Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-12-30 15:39:21 Mathematical optimization Submodular set function Operations research Convex optimization Matroid Linear programming Greedy algorithm Algorithm Greedoid Mathematics Matroid theory Combinatorics
188	Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-06-24 17:14:13 Applied mathematics Mathematics Boolean satisfiability problem Local search Constraint satisfaction WalkSAT Theoretical computer science Constraint programming Logic in computer science
189	Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2011-10-12 05:34:03 Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Satisfiability Modulo Theories WalkSAT Resolution Local search Theoretical computer science Constraint programming Applied mathematics
190	The Power of Local Search: Maximum Coverage over a Matroid Yuval Filmus1,2 and Justin Ward1 1 2 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-12-02 06:14:39 NP-complete problems Matroid theory Operations research Submodular set function Matroid Greedy algorithm Set cover problem Linear programming Algorithm Mathematics Theoretical computer science Applied mathematics

UPDATE